[next] [prev] [prev-tail] [tail] [up]

2.2.13 Integrals 1201 to 1300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 214 813 451 0 474 0 0 0

N.S.

1 0.98 3.73 2.07 0.00 2.17 0.00 0.00 0.00

time (sec)

N/A 1.284 10.880 3.568 0.000 0.115 0.000 0.000 0.000

Problem 1202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 241 573 465 0 487 0 0 0

N.S.

1 0.97 2.30 1.87 0.00 1.96 0.00 0.00 0.00

time (sec)

N/A 1.460 9.436 3.759 0.000 0.147 0.000 0.000 0.000

Problem 1203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 276 623 479 0 500 0 0 0

N.S.

1 0.95 2.15 1.65 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 1.537 12.167 4.111 0.000 0.137 0.000 0.000 0.000

Problem 1204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 241 124 113 659 115 0 0 581

N.S.

1 1.13 0.58 0.53 3.09 0.54 0.00 0.00 2.73

time (sec)

N/A 1.266 0.776 1.246 0.405 0.285 0.000 0.000 8.076

Problem 1205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 198 101 93 567 97 0 0 441

N.S.

1 1.18 0.60 0.55 3.38 0.58 0.00 0.00 2.62

time (sec)

N/A 1.034 0.602 1.155 0.371 0.269 0.000 0.000 6.417

Problem 1206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 156 73 75 474 80 0 0 172

N.S.

1 1.27 0.59 0.61 3.85 0.65 0.00 0.00 1.40

time (sec)

N/A 0.849 0.355 1.125 0.381 0.267 0.000 0.000 2.658

Problem 1207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 145 90 134 1360 120 0 0 0

N.S.

1 1.07 0.66 0.99 10.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.833 0.275 1.169 0.567 0.310 0.000 0.000 0.000

Problem 1208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 145 100 167 890 102 0 0 0

N.S.

1 1.06 0.73 1.22 6.50 0.74 0.00 0.00 0.00

time (sec)

N/A 0.863 0.296 2.266 0.742 0.284 0.000 0.000 0.000

Problem 1209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 149 118 184 1207 122 0 0 0

N.S.

1 1.03 0.82 1.28 8.38 0.85 0.00 0.00 0.00

time (sec)

N/A 0.842 0.366 2.431 0.754 0.303 0.000 0.000 0.000

Problem 1210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 193 132 242 2713 140 0 0 0

N.S.

1 1.02 0.70 1.28 14.35 0.74 0.00 0.00 0.00

time (sec)

N/A 1.038 0.657 2.372 0.729 0.321 0.000 0.000 0.000

Problem 1211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 236 149 310 7700 157 0 0 0

N.S.

1 1.01 0.64 1.32 32.91 0.67 0.00 0.00 0.00

time (sec)

N/A 1.242 1.030 2.296 0.870 0.330 0.000 0.000 0.000

Problem 1212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 295 146 134 712 138 0 0 387

N.S.

1 1.11 0.55 0.50 2.68 0.52 0.00 0.00 1.45

time (sec)

N/A 1.632 0.786 1.464 0.500 0.260 0.000 0.000 7.419

Problem 1213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 252 123 114 619 119 0 0 320

N.S.

1 1.15 0.56 0.52 2.83 0.54 0.00 0.00 1.46

time (sec)

N/A 1.408 0.826 1.303 0.501 0.262 0.000 0.000 7.028

Problem 1214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 208 102 94 527 100 0 0 299

N.S.

1 1.21 0.59 0.55 3.06 0.58 0.00 0.00 1.74

time (sec)

N/A 1.227 0.622 1.288 0.834 0.274 0.000 0.000 7.222

Problem 1215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 190 121 217 1700 146 0 0 0

N.S.

1 1.04 0.66 1.19 9.29 0.80 0.00 0.00 0.00

time (sec)

N/A 1.184 0.792 1.370 0.614 0.282 0.000 0.000 0.000

Problem 1216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 190 116 201 1393 138 0 0 0

N.S.

1 1.05 0.64 1.11 7.70 0.76 0.00 0.00 0.00

time (sec)

N/A 1.202 0.568 2.785 0.543 0.285 0.000 0.000 0.000

Problem 1217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 203 119 293 0 132 0 0 0

N.S.

1 1.04 0.61 1.50 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 1.230 0.505 2.822 0.000 0.303 0.000 0.000 0.000

Problem 1218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 202 133 249 2746 147 0 0 0

N.S.

1 1.06 0.70 1.30 14.38 0.77 0.00 0.00 0.00

time (sec)

N/A 1.223 0.748 2.620 0.958 0.324 0.000 0.000 0.000

Problem 1219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 244 148 313 7999 163 0 0 0

N.S.

1 1.03 0.62 1.32 33.61 0.68 0.00 0.00 0.00

time (sec)

N/A 1.429 1.162 2.777 1.618 0.367 0.000 0.000 0.000

Problem 1220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

285 290 167 381 4470 183 0 0 0

N.S.

1 1.02 0.59 1.34 15.68 0.64 0.00 0.00 0.00

time (sec)

N/A 1.657 2.023 2.529 0.835 0.365 0.000 0.000 0.000

Problem 1221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 347 171 156 763 170 0 0 897

N.S.

1 1.11 0.55 0.50 2.44 0.54 0.00 0.00 2.87

time (sec)

N/A 2.077 1.421 0.550 0.373 0.268 0.000 0.000 8.578

Problem 1222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 300 149 136 671 148 0 0 751

N.S.

1 1.13 0.56 0.51 2.52 0.56 0.00 0.00 2.82

time (sec)

N/A 1.781 1.049 0.454 0.462 0.268 0.000 0.000 7.351

Problem 1223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 256 127 116 579 129 0 0 721

N.S.

1 1.17 0.58 0.53 2.64 0.59 0.00 0.00 3.29

time (sec)

N/A 1.562 0.958 0.433 0.542 0.275 0.000 0.000 7.192

Problem 1224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 242 151 254 2343 177 0 0 0

N.S.

1 1.05 0.66 1.10 10.19 0.77 0.00 0.00 0.00

time (sec)

N/A 1.477 1.498 0.470 0.769 0.304 0.000 0.000 0.000

Problem 1225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 242 141 237 1673 172 0 0 0

N.S.

1 1.05 0.61 1.03 7.27 0.75 0.00 0.00 0.00

time (sec)

N/A 1.579 1.097 0.540 0.548 0.297 0.000 0.000 0.000

Problem 1226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 248 141 334 0 174 0 0 0

N.S.

1 1.04 0.59 1.40 0.00 0.73 0.00 0.00 0.00

time (sec)

N/A 1.555 0.894 1.053 0.000 0.312 0.000 0.000 0.000

Problem 1227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 256 142 327 0 163 0 0 0

N.S.

1 1.06 0.59 1.35 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 1.554 0.842 2.695 0.000 0.331 0.000 0.000 0.000

Problem 1228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 254 151 321 8555 177 0 0 0

N.S.

1 1.07 0.63 1.35 35.95 0.74 0.00 0.00 0.00

time (sec)

N/A 1.522 1.383 2.883 0.968 0.335 0.000 0.000 0.000

Problem 1229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

285 299 168 387 4556 197 0 0 0

N.S.

1 1.05 0.59 1.36 15.99 0.69 0.00 0.00 0.00

time (sec)

N/A 1.793 2.445 2.666 0.908 0.369 0.000 0.000 0.000

Problem 1230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 336 190 455 42534 217 0 0 0

N.S.

1 1.01 0.57 1.37 128.11 0.65 0.00 0.00 0.00

time (sec)

N/A 2.068 3.862 2.971 3.180 0.349 0.000 0.000 0.000

Problem 1231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 330 271 385 0 190 0 0 0

N.S.

1 1.14 0.94 1.33 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 1.956 10.258 1.233 0.000 0.300 0.000 0.000 0.000

Problem 1232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A F A F(-1) F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

244 275 0 345 0 173 0 0 0

N.S.

1 1.13 0.00 1.41 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 1.546 0.000 1.378 0.000 0.302 0.000 0.000 0.000

Problem 1233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

201 220 1717 305 0 156 0 0 0

N.S.

1 1.09 8.54 1.52 0.00 0.78 0.00 0.00 0.00

time (sec)

N/A 1.184 7.962 1.250 0.000 0.311 0.000 0.000 0.000

Problem 1234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

156 165 576 245 0 135 0 0 0

N.S.

1 1.06 3.69 1.57 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.895 6.898 1.320 0.000 0.289 0.000 0.000 0.000

Problem 1235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

175 161 251 242 0 156 0 0 0

N.S.

1 0.92 1.43 1.38 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.989 2.486 1.496 0.000 1.024 0.000 0.000 0.000

Problem 1236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 163 124 169 0 153 0 0 0

N.S.

1 0.94 0.72 0.98 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.987 0.238 3.818 0.000 1.103 0.000 0.000 0.000

Problem 1237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 217 496 234 0 186 0 0 0

N.S.

1 0.97 2.22 1.05 0.00 0.83 0.00 0.00 0.00

time (sec)

N/A 1.314 1.681 2.937 0.000 2.244 0.000 0.000 0.000

Problem 1238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 272 439 304 0 203 0 0 0

N.S.

1 1.02 1.65 1.14 0.00 0.76 0.00 0.00 0.00

time (sec)

N/A 1.719 1.976 2.931 0.000 2.250 0.000 0.000 0.000

Problem 1239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

315 342 3122 477 0 231 0 0 0

N.S.

1 1.09 9.91 1.51 0.00 0.73 0.00 0.00 0.00

time (sec)

N/A 1.981 8.315 1.247 0.000 0.305 0.000 0.000 0.000

Problem 1240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

268 283 2281 437 0 214 0 0 0

N.S.

1 1.06 8.51 1.63 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 1.612 7.251 1.372 0.000 0.319 0.000 0.000 0.000

Problem 1241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

221 232 1055 397 0 193 0 0 0

N.S.

1 1.05 4.77 1.80 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 1.243 6.697 1.333 0.000 0.301 0.000 0.000 0.000

Problem 1242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

172 175 460 352 0 161 0 0 0

N.S.

1 1.02 2.67 2.05 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.932 3.313 1.313 0.000 0.283 0.000 0.000 0.000

Problem 1243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 171 245 288 0 207 0 0 0

N.S.

1 0.92 1.32 1.56 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 1.037 2.485 1.322 0.000 3.012 0.000 0.000 0.000

Problem 1244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 215 251 319 0 222 0 0 0

N.S.

1 0.94 1.10 1.40 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 1.359 2.083 2.803 0.000 2.944 0.000 0.000 0.000

Problem 1245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

285 278 385 424 0 258 0 0 0

N.S.

1 0.98 1.35 1.49 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 1.789 5.105 3.065 0.000 5.736 0.000 0.000 0.000

Problem 1246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 342 261 569 0 262 0 0 0

N.S.

1 1.09 0.83 1.81 0.00 0.83 0.00 0.00 0.00

time (sec)

N/A 1.980 10.392 1.483 0.000 0.309 0.000 0.000 0.000

Problem 1247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

266 285 865 529 0 240 0 0 0

N.S.

1 1.07 3.25 1.99 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 1.657 7.774 1.418 0.000 0.293 0.000 0.000 0.000

Problem 1248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

219 230 730 484 0 208 0 0 0

N.S.

1 1.05 3.33 2.21 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 1.288 6.882 1.363 0.000 0.293 0.000 0.000 0.000

Problem 1249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F A F(-1) F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

174 181 412 367 0 207 0 0 0

N.S.

1 1.04 2.37 2.11 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.960 2.525 1.378 0.000 0.294 0.000 0.000 0.000

Problem 1250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

232 224 262 467 0 275 0 0 0

N.S.

1 0.97 1.13 2.01 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 1.391 3.102 1.232 0.000 6.250 0.000 0.000 0.000

Problem 1251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 272 274 472 0 288 0 0 0

N.S.

1 0.98 0.99 1.70 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 1.745 3.242 3.879 0.000 6.290 0.000 0.000 0.000

Problem 1252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 332 968 634 0 324 0 0 0

N.S.

1 0.99 2.90 1.90 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 2.190 8.139 3.303 0.000 10.832 0.000 0.000 0.000

Problem 1253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 134 97 502 0 188 0 0 0

N.S.

1 0.89 0.64 3.32 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.696 0.396 44.826 0.000 0.096 0.000 0.000 0.000

Problem 1254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 106 85 397 0 167 0 0 0

N.S.

1 0.86 0.69 3.23 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.583 0.290 46.106 0.000 0.091 0.000 0.000 0.000

Problem 1255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 79 71 150 0 124 0 0 0

N.S.

1 0.81 0.73 1.55 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.545 0.207 43.754 0.000 0.091 0.000 0.000 0.000

Problem 1256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 56 52 152 0 107 0 0 0

N.S.

1 0.75 0.69 2.03 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.459 0.225 1.570 0.000 0.090 0.000 0.000 0.000

Problem 1257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 83 76 229 0 125 0 0 0

N.S.

1 0.82 0.75 2.27 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.539 0.241 3.165 0.000 0.095 0.000 0.000 0.000

Problem 1258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 110 88 383 0 145 0 0 0

N.S.

1 0.87 0.69 3.02 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.570 0.383 2.307 0.000 0.103 0.000 0.000 0.000

Problem 1259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 138 99 403 0 156 0 0 0

N.S.

1 0.91 0.66 2.67 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.697 0.543 3.414 0.000 0.101 0.000 0.000 0.000

Problem 1260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 142 112 755 0 206 0 0 0

N.S.

1 0.87 0.69 4.63 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.668 1.187 47.349 0.000 0.101 0.000 0.000 0.000

Problem 1261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 113 89 500 0 177 0 0 0

N.S.

1 0.89 0.70 3.94 0.00 1.39 0.00 0.00 0.00

time (sec)

N/A 0.630 0.501 47.668 0.000 0.098 0.000 0.000 0.000

Problem 1262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 82 75 195 0 134 0 0 0

N.S.

1 0.81 0.74 1.93 0.00 1.33 0.00 0.00 0.00

time (sec)

N/A 0.523 0.435 3.469 0.000 0.093 0.000 0.000 0.000

Problem 1263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 89 80 274 0 135 0 0 0

N.S.

1 0.85 0.76 2.61 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.523 0.429 3.109 0.000 0.099 0.000 0.000 0.000

Problem 1264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 119 94 308 0 157 0 0 0

N.S.

1 0.89 0.71 2.32 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.639 0.544 5.319 0.000 0.101 0.000 0.000 0.000

Problem 1265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 146 108 342 0 174 0 0 0

N.S.

1 0.90 0.66 2.10 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.670 0.816 6.674 0.000 0.105 0.000 0.000 0.000

Problem 1266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 189 172 822 0 263 0 0 0

N.S.

1 0.87 0.79 3.79 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.987 2.820 88.251 0.000 0.107 0.000 0.000 0.000

Problem 1267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 157 147 712 0 234 0 0 0

N.S.

1 0.88 0.82 3.98 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.951 1.851 90.762 0.000 0.117 0.000 0.000 0.000

Problem 1268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 124 99 488 0 200 0 0 0

N.S.

1 0.89 0.71 3.49 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.813 2.409 90.650 0.000 0.110 0.000 0.000 0.000

Problem 1269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 124 101 381 0 170 0 0 0

N.S.

1 0.88 0.72 2.70 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.792 2.205 3.856 0.000 0.100 0.000 0.000 0.000

Problem 1270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 134 105 447 0 181 0 0 0

N.S.

1 0.91 0.71 3.04 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.815 2.114 5.427 0.000 0.104 0.000 0.000 0.000

Problem 1271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 165 125 481 0 210 0 0 0

N.S.

1 0.90 0.68 2.61 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.947 2.137 7.316 0.000 0.112 0.000 0.000 0.000

Problem 1272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 193 149 512 0 231 0 0 0

N.S.

1 0.89 0.69 2.36 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.985 2.308 9.123 0.000 0.111 0.000 0.000 0.000

Problem 1273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 266 209 1154 0 304 0 0 0

N.S.

1 0.91 0.72 3.97 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 1.688 3.726 162.884 0.000 0.113 0.000 0.000 0.000

Problem 1274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 238 177 905 0 281 0 0 0

N.S.

1 0.93 0.69 3.55 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 1.600 3.408 159.737 0.000 0.109 0.000 0.000 0.000

Problem 1275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 205 135 879 0 248 0 0 0

N.S.

1 0.96 0.63 4.11 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 1.441 3.122 158.933 0.000 0.112 0.000 0.000 0.000

Problem 1276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 205 118 801 0 229 0 0 0

N.S.

1 0.97 0.56 3.78 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 1.428 3.122 158.217 0.000 0.107 0.000 0.000 0.000

Problem 1277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 204 121 595 0 199 0 0 0

N.S.

1 0.96 0.57 2.81 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 1.430 3.008 4.863 0.000 0.107 0.000 0.000 0.000

Problem 1278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 214 133 483 0 226 0 0 0

N.S.

1 0.98 0.61 2.21 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 1.442 3.061 7.898 0.000 0.105 0.000 0.000 0.000

Problem 1279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 242 151 514 0 249 0 0 0

N.S.

1 0.95 0.59 2.02 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 1.610 2.650 9.660 0.000 0.111 0.000 0.000 0.000

Problem 1280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 270 174 545 0 272 0 0 0

N.S.

1 0.93 0.60 1.87 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 1.673 3.085 12.329 0.000 0.123 0.000 0.000 0.000

Problem 1281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 320 242 1397 0 327 0 0 0

N.S.

1 0.93 0.71 4.07 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 2.125 5.295 544.071 0.000 0.131 0.000 0.000 0.000

Problem 1282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 285 209 1235 0 304 0 0 0

N.S.

1 0.93 0.68 4.02 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 2.015 4.239 513.329 0.000 0.109 0.000 0.000 0.000

Problem 1283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 261 176 1070 0 281 0 0 0

N.S.

1 0.96 0.65 3.95 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 1.869 5.150 522.923 0.000 0.143 0.000 0.000 0.000

Problem 1284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 263 157 1262 0 272 0 0 0

N.S.

1 0.97 0.58 4.67 0.00 1.01 0.00 0.00 0.00

time (sec)

N/A 1.851 3.960 521.118 0.000 0.118 0.000 0.000 0.000

Problem 1285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 259 149 950 0 259 0 0 0

N.S.

1 0.97 0.56 3.56 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 1.845 3.074 553.072 0.000 0.115 0.000 0.000 0.000

Problem 1286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 263 149 727 0 232 0 0 0

N.S.

1 0.98 0.55 2.70 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 1.886 3.462 7.446 0.000 0.113 0.000 0.000 0.000

Problem 1287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 261 153 514 0 249 0 0 0

N.S.

1 0.96 0.56 1.90 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 1.819 3.702 10.477 0.000 0.107 0.000 0.000 0.000

Problem 1288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 296 174 545 0 272 0 0 0

N.S.

1 0.96 0.57 1.78 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 2.025 3.345 13.059 0.000 0.122 0.000 0.000 0.000

Problem 1289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 324 197 576 0 295 0 0 0

N.S.

1 0.94 0.57 1.68 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 2.108 3.940 19.002 0.000 0.141 0.000 0.000 0.000

Problem 1290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 202 200 785 0 369 0 0 0

N.S.

1 0.81 0.80 3.14 0.00 1.48 0.00 0.00 0.00

time (sec)

N/A 1.041 4.941 55.012 0.000 0.113 0.000 0.000 0.000

Problem 1291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 172 162 467 0 335 0 0 0

N.S.

1 0.84 0.79 2.28 0.00 1.63 0.00 0.00 0.00

time (sec)

N/A 0.905 3.831 53.464 0.000 0.106 0.000 0.000 0.000

Problem 1292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 142 132 353 0 275 0 0 0

N.S.

1 0.86 0.80 2.14 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.862 3.449 2.464 0.000 0.099 0.000 0.000 0.000

Problem 1293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 117 126 281 0 266 0 0 0

N.S.

1 0.90 0.97 2.16 0.00 2.05 0.00 0.00 0.00

time (sec)

N/A 0.738 2.869 2.882 0.000 0.100 0.000 0.000 0.000

Problem 1294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 149 163 300 0 287 0 0 0

N.S.

1 0.86 0.94 1.72 0.00 1.65 0.00 0.00 0.00

time (sec)

N/A 0.852 2.522 3.694 0.000 0.105 0.000 0.000 0.000

Problem 1295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 178 178 319 0 307 0 0 0

N.S.

1 0.83 0.83 1.49 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.911 3.223 4.038 0.000 0.106 0.000 0.000 0.000

Problem 1296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 206 198 341 0 327 0 0 0

N.S.

1 0.82 0.79 1.36 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 1.056 3.953 4.668 0.000 0.127 0.000 0.000 0.000

Problem 1297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 223 212 724 0 464 0 0 0

N.S.

1 0.89 0.84 2.88 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 1.282 5.005 13.166 0.000 0.121 0.000 0.000 0.000

Problem 1298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 196 172 563 0 386 0 0 0

N.S.

1 0.91 0.80 2.62 0.00 1.80 0.00 0.00 0.00

time (sec)

N/A 1.218 4.728 2.992 0.000 0.107 0.000 0.000 0.000

Problem 1299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 163 164 507 0 383 0 0 0

N.S.

1 0.94 0.95 2.93 0.00 2.21 0.00 0.00 0.00

time (sec)

N/A 1.030 3.957 3.283 0.000 0.119 0.000 0.000 0.000

Problem 1300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 166 162 507 0 381 0 0 0

N.S.

1 0.93 0.91 2.83 0.00 2.13 0.00 0.00 0.00

time (sec)

N/A 1.033 3.725 3.722 0.000 0.113 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]